temporal logic specification meaning in English
暂时逻辑说明
Examples
- 6 clarke e m , emerson e a , sistla a p . automatic verification of finite - state concurrent systems using temporal logic specifications . acm transactions on programming languages and systems , 1986 , 8 : 244 - 263 . 7 aho a v , hopcroft j e , ullman j d . the design and analysis of computer algorithms
Model checking过去主要是作为一种验证技术被广为使用的,本文作者通过对dmc以及后续工程项目的研究发现, model checking完全可以作为一种计算技术被广泛使用,就相当于已经成为经典编译技术yacc在软件开发的各个层面上被广泛使用一样。